Merge pull request #1589 from hzhuang1/topic/fix_clang
authorDimitris Papastamos <[email protected]>
Mon, 1 Oct 2018 10:29:36 +0000 (11:29 +0100)
committerGitHub <[email protected]>
Mon, 1 Oct 2018 10:29:36 +0000 (11:29 +0100)
Topic/fix clang


Trivial merge